$\forall$${\it es}$:ES, $X$:AbsInterface(Top). E($X$) $\subseteq$r E